﻿namespace Example.Views
{
    using System.Web.Mvc;

    using Cavity;

    using Xunit;

    public sealed class ViewStartFacts
    {
        [Fact]
        public void a_definition()
        {
            Assert.True(new TypeExpectations<ViewStart>()
                            .DerivesFrom<ViewStartPage>()
                            .IsConcreteClass()
                            .IsUnsealed()
                            .HasDefaultConstructor()
                            .Result);
        }

        [Fact]
        public void ctor()
        {
            Assert.NotNull(new ViewStart());
        }
    }
}